Brute-force searches for solutions to Diophantine equations in rationals can often take advantage of the Farey series ( to search only reduced forms ).
2.
While nothing in this guarantees that the analytical method will work, it does explain the rationale of using a Farey series-type criterion on roots of unity.